diofantic equation